Groups with free regular length functions in Zn

This is the first paper in a series of three where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Our main goal is to show that group actions on Zn-trees give one a powerful tool to study groups. All finitely generated groups acting freely on R-trees also act freely on some Zn-trees, but the latter ones form a much larger class. The natural effectiveness of all constructions for Zn-actions (which is not the case for R-trees) comes along with a robust algorithmic theory. In this paper we describe the algebraic structure of finitely generated groups acting freely and regularly on Zn-trees and give necessary and sufficient conditions for such actions.